Higher-Order Interference in Extensions of Quantum Theory
نویسندگان
چکیده
منابع مشابه
Higher-Order Interference in Extensions of Quantum Theory
Quantum interference, manifest in the two slit experiment, lies at the heart of several quantum computational speed-ups and provides a striking example of a quantum phenomenon with no classical counterpart. An intriguing feature of quantum interference arises in a variant of the standard two slit experiment, in which there are three, rather than two, slits. The interference pattern in this set-...
متن کاملExtensions and Applications of Higher-order Uniication
This dissertation explores the problem of uni cation in various typed -calculi, developing and proving the correctness and completeness of uni cation algorithms for various calculi within a single general framework, and then demonstrating the practical importance of these algorithms by means of example applications. We begin by presenting our general framework for uni cation, based on transform...
متن کاملHigher-Order Abstract Non-interference
This work proposes a type system for checking Abstract Non-Interference in the setting of simply-typed lambda calculus with basic types and recursion. A lambda-expression satisfies Abstract NonInterference relatively to a given semantic property if an attacker which can only see program data up to that property cannot infer, by observing a computation, private data from public ones. Attackers a...
متن کامل(In)consistency of Extensions of Higher Order Logic and Type Theory
It is well-known, due to the work of Girard and Coquand, that adding polymorphic domains to higher order logic, HOL, or its type theoretic variant λHOL, renders the logic inconsistent. This is known as Girard’s paradox, see [7]. But there is also a another presentation of higher order logic, in its type theoretic variant called λPREDω, to which polymorphic domains can be added safely, Both λHOL...
متن کاملHigher-Order Game Theory
In applied game theory the motivation of players is a key element. It is encoded in the payoffs of the game form and often based on utility functions. But there are cases were formal descriptions in the form of a utility function do not exist. In this paper we introduce a representation of games where players’ goals are modeled based on so-called higher-order functions. Our representation provi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Foundations of Physics
سال: 2016
ISSN: 0015-9018,1572-9516
DOI: 10.1007/s10701-016-0045-4